The esprit basic research working group compugraph “computing by graph transformation”: a survey

Final Report Computing by Graph Transformation Ii (compugraph Ii)

Introduction to COMPUGRAPH

This is a survey of the main aims and results of the ESPRIT Basic Research Working Group COMPUTING BY GRAPH TRANSFORMATION with main emphasize on COMPUGRAPH II, 1992-1996, following up the rst phase of COMPUGRAPH, 1989-1992. Starting with an overview of the history of graph grammars and graph transformations the research goals and main results are presented within the following three research a...

Compugraph Ii: a Survey of Research Goals and Main Results

This is a survey of the main aims and results of the ESPRIT Basic Research Working Group COMPUTING BY GRAPH TRANSFORMATION II, 1992-1996, following up the rst phase of COMPUGRAPH, 1989-1992. The research goals and main results are presented within the following three research areas: Foundations, Concurrency, and Graph Transformations for Speciication and Programming.

ProCoS - WG ESPRIT Working Group 8694 A ProCoS - WG Working Group Final Report : ESPRIT Working Group 8694

An overview of the activities of the European collaborative ESPRIT ProCoS-WG Working Group (no. 8694) on “Provably Correct Systems” which ran from 1993 to 1997 is presented. This was a follow-on to the ESPRIT BRA ProCoSI project (no. 3104, 1989–1991) and ProCoSII project (no. 7071, 1992–1995), overlapping with the latter. A selected bibliography of publications, especially those involving the o...

ESPRIT Basic Research project Acclaim - Final Report